Nice infinitary logics
نویسندگان
چکیده
منابع مشابه
Nice Infinitary Logics
The first part of the introduction tries to explain the aim to a general mathematical audience, so may be skipped by a knowledgeable reader; naturally we should start by explaining what is first order logic and a general (abstract) logic from a model-theoretic perspective. We may consider classes of rings and classes of groups but usually we do not consider a class containing structures of both...
متن کاملCategoricity and Infinitary Logics
We point out a gap in Shelah’s proof of the following result: Claim 0.1. Let K be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal λ such that whenever M,N ∈ K have size at least λ, M ≤ N if and only if M L∞,LS(K)+ N . The importance of the claim lies in the following theorem, implicit in Shelah’s work: Theorem 0.2. Assume the claim. Let K be ...
متن کاملHybrid Logics with Infinitary Proof Systems
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result...
متن کاملGeneralized Quantifiers, Infinitary Logics, and Abstract Elementary Classes
In this paper we discuss extensions of first order logic both to infinitary logics and by adding some generalized quantifiers. In a certain sense this topic is orthogonal to the usual study of generalized quantifiers. That program considers the basic properties: compactness, interpolation, etc. of various logics. An abstract elementary class is a generalization of the class of models of a speci...
متن کاملA New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Mathematical Society
سال: 2012
ISSN: 0894-0347,1088-6834
DOI: 10.1090/s0894-0347-2011-00712-1